Automated reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
- Författare
- Tobias Nipkow Alexander Leitsch Rajeev Goré International Joint Conference on Automated Reasoning 2001 : Siena)
- (Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)., Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2001 | Tyskland, Berlin | xv, 708 sidor. ill. 24 cm |